Index: manage_user_page.php
===================================================================
diff -u -w -b -r1.1 manage_user_page.php
--- manage_user_page.php	23 Feb 2006 15:23:15 -0000	1.1
+++ manage_user_page.php	20 Oct 2006 13:44:36 -0000
@@ -73,7 +73,7 @@
 <?php html_page_top2() ?>
 
 <?php print_manage_menu( 'manage_user_page.php' ) ?>
-
+<?php print_manage_user_menu( 'manage_user_page.php' ) # Added to handle [mantisbt 0007260] ?>
 <?php # New Accounts Form BEGIN ?>
 <?php
 	$days_old = 7;
Index: core/html_api.php
===================================================================
diff -u -w -b -r1.8 html_api.php
--- core/html_api.php	16 Oct 2006 18:26:21 -0000	1.8
+++ core/html_api.php	20 Oct 2006 13:47:11 -0000
@@ -708,6 +708,25 @@
 	}
 
 	# --------------------
+	# Print the submenu for the manage user section
+	# $p_page specifies the current page name so it's link can be disabled
+	# Added to handle [mantisbt 0007260]
+	function print_manage_user_menu( $p_page = '' ) {
+		$t_sync_user = 'sync_user_page.php';
+		switch ( $p_page ) {
+			case $t_sync_user:
+				$t_sync_user = '';
+				break;
+		}
+
+		PRINT '<br /><div align="center">';
+		if ( access_has_global_level( ADMINISTRATOR ) ) {
+			print_bracket_link( $t_sync_user, lang_get( 'sync_user_menu_choice' ) );
+		}
+		PRINT '</div>';
+	}
+
+	# --------------------
 	# Print the menu for the account section
 	# $p_page specifies the current page name so it's link can be disabled
 	function print_account_menu( $p_page='' ) {
